Dylla, F., Ferrein, A., Lakemeyer, G., Murray, J., Obst, O., Röfer, T., Schiffer, S., Stolzenburg, F., Visser, U., Wagner, Th.. WIT Press; 2008. Approaching a formal soccer theory from behaviour specifications in robotic soccer.